Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
نویسندگان
چکیده
منابع مشابه
Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs
Models of physical systems have to be based on physical principles such as conservation of energy and continuity of power. These principles are inherently enforced by the bond graph modeling formalism. Often, however, physical components may be best modeled as piecewise continuous with discrete mode changes, which leads to a violation of continuity principles. To support such hybrid models, bon...
متن کاملA Hybrid Denotational Semantics for Hybrid Systems
In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed so that it may be easily used for modeling large, existing embedded applications, which is a first step toward their validation. The discrete subsystem is modeled by a program written in an extension of an imperative language and the continuous subsystem is modeled by differential equation...
متن کاملA Method for Efficient Simulation of Hybrid Bond Graphs
The hybrid bond graph (HBG) paradigm is a uniform, multi-domain physics-based modeling language. It incorporates controlled and autonomous mode changes as idealized switching functions that enable the reconfiguration of energy flow paths to model hybrid physical systems. Building accurate and computationally efficient simulation mechanisms fromHBGmodels is a challenging task, especially when th...
متن کاملHyBrSim – A Modeling and Simulation Environment for Hybrid Bond Graphs
Bond graphs are a powerful formalism to model continuous dynamics of physical systems. Hybrid bond graphs introduce an ideal switching element, the controlled junction, to approximate continuous behavior that is too complex for numerical analysis (e.g., because of nonlinearities or steep gradients). HyBrSim is a tool for hybrid bond graph modeling and simulation implemented in Java and document...
متن کاملModeling Discontinuous Behavior with Hybrid Bond Graphs
This paper discusses a technique that combines bond graph energy-flow modeling and signal-flow modeling schemes for modeling discontinuities in physical systems. This enables the generation of complex, multi-mode behaviors without violating the energy flow principles imposed by bond graphs . Mode switching is achieved by controlled junctions which assume one of two states : on and off. The cont...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIMULATION
سال: 2008
ISSN: 0037-5497,1741-3133
DOI: 10.1177/0037549708097215